1. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
2. Communication-Based Systems
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
3. Facing the Multicore - Challenge II
پدیدآورنده: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
4. Fields of Logic and Computation II
پدیدآورنده: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
5. Foundations of algebraic specification and formal software development
پدیدآورنده: / D. (Donald) Sannella
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Computer science--Mathematics.,Software engineering.,Computer software--Development.
رده :
QA76
.
9
.
M35
S26
2012
6. Graph Drawing and Network Visualization :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
7. Graph and Model Transformation
پدیدآورنده: \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی ن‍رم اف‍زار ,رسته‌ها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
8. Integrating Routing Decisions in Public Transportation Problem
پدیدآورنده: / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer software,Civil engineering,Mathematics,Operations Research, Management Science,Civil Engineering,Algorithm Analysis and Problem Complexity
رده :
E-BOOK
9. Mathematical and Engineering Methods in Computer Science
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
10. Mathematical and Engineering Methods in Computer Science
پدیدآورنده: \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
11. Mathematical and engineering methods in computer science
پدیدآورنده: Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
12. Methods and Models in Mathematical Programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Software engineering. ; Computational Mathematics and Numerical Analysis. ; -Computer mathematics. ; Computer science
13. Perspectives of System Informatics
پدیدآورنده: \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
14. Perspectives on Software Requirements
پدیدآورنده: edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
15. Quality of Communication-Based Systems :
پدیدآورنده: edited by Günter Hommel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
رده :
QA76
.
9
.
A23
E358
1995
16. Software service and application engineering
پدیدآورنده: Maritta Heisel (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics,Software engineering
رده :
QA76
.
758
.
S725
2012eb
17. Systolic Computations
پدیدآورنده: by M.A. Frumkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
18. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
